Nuprl Definition : rv-compose 11,40

(x.F(x)) o X(s) == F(X(s)) 
latex


Definitionsx.A(x), f(a)
FDL editor aliasesrv-compose

origin